Conditional Proof or Deduction Theorem Examples